481. An introduction to discrete mathematics and formal system specification
پدیدآورنده: Ince, Darrel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1988
482. An introduction to discrete mathematics and its applications
پدیدآورنده: Kalmanson, Kenneth.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computer science- Mathematics
رده :
QA
76
.
9
.
M35K35
1986
483. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده: Ince, Darrel C.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، System design
رده :
QA
76
.
9
.
M35I53
1992
484. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده: Ince, Darrel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Mathematics ، Computer science,، System design
رده :
QA
76
.
9
.
M35153
1992
485. An introduction to discrete mathematics formal system specification and Z
پدیدآورنده: D. C. Ince
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه زنجان (زنجان)
موضوع: ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35153
1992
486. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده: Ince, D.)Darrel(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1992
487. An introduction to discrete mathematics formal system specification, and z
پدیدآورنده: / D.C.Ince
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science-Mathematics,System design
رده :
QA76
.
9
.
M35
,
153
1992
488. An introduction to discrete mathematics, specification, and Z
پدیدآورنده: Ince, D. )Darrel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics,، System design
رده :
QA
76
.
9
.
M35
.
I53
1992
489. An introduction to functional programming through Lambda calculus /
پدیدآورنده: Greg Michaelson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Functional programming (Computer science),Lambda calculus.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Functional programming (Computer science),Lambda calculus.,MATHEMATICS-- General.
رده :
QA76
.
6
.
M4854
2011eb
490. An introduction to machine learning /
پدیدآورنده: Miroslav Kubat.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Big data.,Computational intelligence.,Data mining.,Machine learning.,Artificial intelligence.,Artificial intelligence.,Big data.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Computational intelligence.,Computer science.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Data mining.
رده :
QA76
.
9
.
D343
K83
2017
491. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
492. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
493. An introduction to modern mathematical computing
پدیدآورنده: Jonathan M. Borwein, Matthew P. Skerritt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematica (Computer file),Computer science-- Mathematics,Mathematics-- Data processing
رده :
QA76
.
95
.
B67
2012eb
494. An introduction to neural information processing /
پدیدآورنده: Peiji Liang, Si Wu, Fanji Gu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Human information processing.,Neural networks (Neurobiology)
رده :
QP363
.
3
495. An introduction to numerical analysis for electrical and computer engineers
پدیدآورنده: / Christopher J. Zarowski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Electrical engineering, Mathematics,Computer science, Mathematics,Numerical analysis
رده :
TK153
.
Z37
2004
496. An introduction to numerical analysis for electrical and computer engineers
پدیدآورنده: / Christopher J. Zarowski
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Electrical engineering--Mathematics.,Computer science--Mathematics.,Numerical analysis.
رده :
TK
153
.
Z37
2004
497. An introduction to numerical analysis for electrical and computer engineers
پدیدآورنده: / Christopher J. Zarowski
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electrical engineering--Mathematics,Computer science--Mathematics,Numerical analysis.
رده :
TK
,
153
,.
Z37
,
2004
498. An introduction to numerical analysis for electrical and computer engineers
پدیدآورنده: / Christopher J. Zarowski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Electrical engineering- Mathematics,Computer science- Mathematics,Numerical analysis
رده :
E-BOOK
499. An introduction to numerical analysis for electrical and computer engineers
پدیدآورنده : Christopher J. Zarowski
موضوع : Electrical engineering- Mathematics,Computer science- Mathematics,Numerical analysis
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
500. An introduction to numerical analysis for electrical and computer engineers
پدیدآورنده: / Christopher J. Zarowski
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Electrical engineering- Mathematics,Computer science- Mathematics,Numerical analysis
رده :
TK153
.
Z37
2004
